1. Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Mathematical analysis,Congresses ، Computable functions,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
2064

2. Computability theory and its applications: current trends and open problems: proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Congresses ، Computable functions

رده :
QA
9
.
59
.
C66
1999

3. Computing with foresight and industry :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.

رده :
QA9
.
59
.
C67
2019

4. Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Data processing -- Congresses ، Computable functions

رده :
QA
9
.
59
.
W67
1987

5. Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Congresses ، Computable functions-- Data processing

رده :
QA
9
.
59
.
W67
1987

6. Mathematical foundations of computer science 200

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses

7. Mathematical foundations of computer science, 1979: proceedings; 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Electronic digital computers-- Programming-- Congresses,، Alogorithms-- Congresses,، Computable functions-- Congresses,، Machin theory-- Congresses

رده :
QA
76
.
6
.
S9194
1979

8. Models of computation in context :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computable functions -- Congresses.,Computable functions.,Informatique.

رده :
QA9
.
59
B464
2011

9. New computational paradigms

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Computable functions--Congresses

رده :
QA
,
9
.
59
,.
C67
,
2005

10. New computational paradigms

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Computable functions ; Congresses. ;

11. New computational paradigms : First Conference on Computability in Europe, CIE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Computable functions

رده :
QA
76
.
L28
Vol
.
3526

12. #Non-classical logics, model theory, and computability

پدیدآورنده :

کتابخانه: Central Library of Esfehan University of Technology (Esfahan)

موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses

رده :
#
QA
،#.
L37
،#
1976

13. Non-classical logics, model theory, and computability

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses

رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976

14. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions

رده :
QA
9
.
7
.
L3

15. Proceedings of the ... Annual ACM Symposium on Theory of Computing

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity

رده :
QA
267
.
A27a
2002

16. Symbolic computation and education

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer

17. Symbolic computation and education

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses

رده :
QA
,
20
,.
C65
,
I585
,
2006

18. Symbolic-numeric computation

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)

موضوع : Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses

رده :
QA
,
9
.
59
,.
S96
,
2007

19. Theory and applications of models of computation :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
T36
2011eb

20. Theory and applications of models of computation

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Computational complexity ; Congresses. ; Computable functions ; Congresses. ;